#include <stdio.h>  
  
int main() {  
    int a;  
    printf("请输入一个整数: ");  
    scanf("%d", &a);  
  
    int b = a | (1 << 4);  
  
    printf("修改后的整数为: %d\n", b);  
  
    return 0;  
}